Module isotope::ctx::ty[][src]

Expand description

Contexts for type-checking terms

Structs

BinaryCtx

A simple typing context, which combines a ConsCtx and a TermEqCtx

MapTyCtx

A simple typing context based off a map

Constants

TRIVIAL

The trivial typing context

Traits

TyCtxMut

A context for mutably type-checking terms

Type Definitions

Trivial

A trivial typing context

TrivialCons

Wrap a typing context into a trivial one